Definability of principal congruences in equivalential algebras
نویسندگان
چکیده
منابع مشابه
Principal Congruences of /7-algebras and Double /»-algebras
Principal congruence of pseudocomplemented lattices (= palgebras) and of double pseudocomplemented lattices (= double p-algebras), i.e. pseudocomplemented and dual pseudocomplemented ones, are characterized.
متن کاملWeakly regular algebras in varieties with principal compact congruences
Weakly regular algebras in varieties with principal compact congruences Ivan Chajda. Weakly regular algebras in varieties with principal compact congruences. Institute of Mathematics, Academy of Sciences of the Czech Republic, provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, o...
متن کاملStandard topological algebras: syntactic and principal congruences and profiniteness
A topological quasi-variety Q T ∼ ) := IScP + ∼ generated by a finite algebra ∼ with the discrete topology is said to be standard if it admits a canonical axiomatic description. Drawing on the formal language notion of syntactic congruences, we prove that Q T ∼ ) is standard provided that the algebraic quasi-variety generated by ∼ is a variety, and that syntactic congruences in that variety are...
متن کاملCongruences of convex algebras
We provide a full description of congruence relations of convex, positive convex, and totally convex algebras. As a consequence of this result we obtain that finitely generated convex (positive convex, totally convex) algebras are finitely presentable. Convex algebras, in particular positive convex algebras, are important in the area of probabilistic systems. They are the Eilenberg-Moore algebr...
متن کاملCongruences of Concept Algebras
Concept algebras are concept lattices enriched with two unary operations, a weak negation and a weak opposition. In this contribution we provide a characterization of congruences of concept algebras. AMS Mathematics Subject Classification (2000): 06B10, 06B05, 03G25, 03G10
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Colloquium Mathematicum
سال: 1998
ISSN: 0010-1354,1730-6302
DOI: 10.4064/cm-74-2-225-238